perm filename CMSL8.360[360,GF]1 blob sn#803161 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#→
ε∧  G#aP
∧@%`↓⊗`5X↓V@UH@ EH@ E@@@E@@@E8AE8AE0A E(↓↓ E(A@U BE BE_B E_π∀@⊂Xα∀@⊂Xα∀ ⊂`α∀ `α∀⊂hαS`⊂xα∪`⊂xα∪ @hβ∩A⊂@ε⊃(D⊂
πβ!Pα∧J  ∧@j  ¬j  ¬↓
  ¬@j  ¬@j⊂ εj⊂ ¬A
⊂ ¬A
⊂ ¬↓
⊂ ¬j⊂ ∧↓
↓(∧* ¬@j εj ε↓
 ε↓	p εA	p εA	p εA	p εA	p ε↓	p ¬A	` ¬A	` ∧A)!_"Qλ1`⊂εC h∧↓@∃ α↓` _↓∀@0`@@%λ↓C@E↓D4x↓D 4p↓D`∀h↓E∀`α¬∀`↓E ∀Xα∩`DPα∩@DPα∩@DPα∩@A(R`1 R`1 R`A_S1⊂S 1S@ xS`0X↓∀ 08↓∀a∧("⊃βQx
ε@A⊂)↓↓⊂_)↓↓0_)↓↓@_)↓↓P_)↓↓P_(A↓` (A↓p_(A↓p_(A↓p_(A↓p_(A↓p_(↓α_(↓↓p (↓↓p (↓↓p (↓↓p_(↓↓` 'A↓p 'A↓p_'A↓`_'A↓P 'A↓P_'A↓@_'↓↓0_'↓↓⊂ %∧HT "FcQP
↓αu⊂αα`E⊂αβ %⊂αβ@∃⊂αβ@∃⊂αβ@∃λαβ`∃λα↓`⊂8T @8A`∃λα↓`∃λα↓@%λα↓ 5ε∀@0↓∀@8T@8T@8T@8A`∀xα∧∀xα∧∀xαβ`∀xαβ`∀xαβ@$xαβ $pαβ 4pαα`TPQ(D0
πβ!Pα¬J  ¬↓
  εJ  ε@*  ε@*  ε@*⊂ π*⊂ π*⊂ β@ `λ(Apλ(Apλ(A`⊂(↓`⊂(β
 βJ βJ β@* β@)p β@)p 'A	p 'A	p '↓	`(%β(T #G∧↓P
β p0U@0↓`%⊂↓B`⊂⊂↓∀ 0hα∀!↓S`1↓S@1⊂S 1_SA_S1 R`DXα∩@DPα∩@DPαβ↓DPα∧TPα∧ DPα∧DX↓DDXαβ`D`↓C`Dh↓β`Dp↓β Tx↓α`U↓A` _↓∀`p0Q(D@∂H#!Pαβ0`)↓! ()↓↓0 )↓↓0 )↓↓0 )↓↓0 (A↓0 (A↓0 (A↓0 (A↓0 (A↓0 (A↓0 (∧j ¬A
 ¬A
 ¬A
 ¬A
 ¬A	p ¬A	p ¬A	p ¬A	p ¬A	p ¬A	p ¬A	` ¬A	`(¬↓) `↓CλT $D"!P
↓↓U⊂αT@E⊂α∀@E⊂α∀ Eλα∀ Eλα∀ Eλα∀Eα∀Eα∀Eα∪`Dxα∪`Dxα∪`Dxα∪@DpαRAD("∩BA0
εA`+A*p +A
p +A
` +↓
` +↓
` +↓
P *A
P *A
P *A
@ *↓	0_β↓	 (αA	 (αA	  αA	 _βi0⊂α↓	P0"Q	2⊃εC  εα↓¬⊂αCE⊂αβ %⊂αβ ∃⊂αα`%⊂αα@∃λαα@∃λαα ∃λαα∃λα↓@∃λα↓ %λα↓5α↓Uα@ λα∀@λAEαA Eα↓`Eα↓`Dxαα Dxαα Dxαα@Dxαα@Dxαα`Dxαα`Tpαβ DpαB`dPε↓A$("∪αqH
ε@@h)↓*  )↓
  )↓
⊂ (A
⊂ (A
⊂ (A
 (↓
 (↓
 (↓↓@λ'A↓@λ'A↓@λ'A↓@λ'A↓0λ'A↓0λ'A↓ ⊂'↓↓ _'↓↓ %¬λT &IE↓P
↓↓↓⊂∧∀@Aλβ∀@⊂λ↓DU⊂@ 0x@ E⊂@ 0p@@E⊂@ 0p@@Eλ@@0h@@Eλ@`0`@@Eλ@`0X@`Eλ@`0X@`Eλ@`0PAEλA0HAEA 0@AEA 08A EA 08A EA 00A@EA@0(A@EA@0 A`DxA`0 A@DxA`0_A`DxB0⊂A`DxB0λBDxB@Hα∪`⊂@αα Dp↓α0Hα∪ @@↓α TP∧A@⊂0ε⊃(Dp∂H#!Pαα!⊂H)↓!@ )↓A@λ) ⊂ ε* λ↓↓↓0λ)   ¬@*⊂λα↓↓⊂λ(@ @ ∧@*⊂λαA↓λ(@ P ∧*⊂λβ↓pλ(@ ` β@*λ∧↓Pλ(! α@*λ∧A@λ(!⊂ α*λ¬↓0λ(!  ↓@)pλε↓⊂λ'@!@0'@!P('@!P('@!` '@!p_'Ap⊂&A↓pλ%α!Pλ"Q	q`⊂εC hβU00α∀@0P↓T 0`↓S`0x↓S@A↓S Aλ↓S 1⊂α∪A⊂α∪1 ↓R`A ↓R`A ↓R@A α∩@A α∩@A α∩@A α∩@A_α∩@A_α∩@A_↓R`1⊂α∩`Aα∪1↓S@p↓S 0h↓S@@Hα∀00α∀A∧("∀β1h
ε@A⊂)↓↓⊂ )↓↓  )↓↓0 )↓↓0 )↓↓0 (A↓@ (A↓@ (A↓@ (A↓@_(A↓0_(A↓ _(↓↓⊂ (βJ (↓
 (↓	p 'A	p 'A	p 'A	` '↓) `"Q
⊃`⊂λC hβU00α∀@0P↓T 0`↓S`@p↓S@A↓S Aλ↓S 1⊂α∪A⊂α∪1_α∩`A ↓R`A_α∩@A α∩@A α∩@A α∩@A α∩@A ↓R@A_α∩@A_↓R`1⊂α∩`Aλ↓S00α↓@4`↓A ⊂ A4h↓A⊂ @`4p↓@@⊂0αT0λAE⊂∧B∃PB∃P↓↓`∃P↓↓@∃P↓A%P∧⊗A¬Xβ↔D("∀CQx
ε@Aλ)↓↓_)↓↓⊂ )↓↓ _)↓↓  )↓↓  (A↓0 (A↓0 (A↓0 (A↓0_(A↓ _(A↓⊂_(↓↓_(β* β@j ∧j ∧↓
 ∧↓	p ∧A	p ∧A	p ∧A	p ∧A	p ∧A	p ∧A`λ'↓↓  α@)`(¬`@λ%β↓⊂("Q
1(FC Pβ↓∃⊂↓↓@ λ↓∀ P↓S` X↓S@0`↓∪@0`↓∪ 0hS @`S DhαS@tp¬SaEλ¬Ta%@β⊗@EX↓V`4XC`4XC`4XC`4XC@4X↓β $Pαα`$P↓@ 8↓R@⊂(∧⊃(E 
πc!P↓ε	@_βAp_&A ∧I@λ∧A↓⊂λ%@!  ∧@)0λ¬↓↓⊂λ%@!⊂ ¬) λ¬↓↓ λ%!  ¬*P *A
P *↓
@ *↓
@ *↓
@ )A
0 )A
0 )A
0 )↓
 (&∧λT *Fd⊃P
↓@0∧S@P`α∪@@pS@@pS@@pS@@pS @pS @pS @pS @pS @pS @pS@pS@pS@pS@pS@pS@pR`@pR`@pS0pS0hS0`↓∪ 0XS@ H↓∪`0(↓∀ d("∃Cb_
ε@X¬B	P(πA	` λI` λ)` π@)`(π)p ε@)p ε)p ε* ¬* ¬* ∧@* ∧J⊂ β@*⊂ β*⊂ β*⊂ α@*  α*  ↓@*  ↓*  ↓*0()A*0 )A
@⊂*(T +J%aP
↓0 ¬AA∀hαB@PXα∪ @`αβ$pαα`@`S@@Xαβ∀pαα`@XS@@Xαα`∀pαα@`HS@P@↓ @HS`@@@@@@S`@8↓@@@S`@8@`@8S`@0A@8S`@0A @(T@ A@@(T@ A@@ T@_A`@_↓∀@_A`@_T@⊂BPλ↓∀ @λB @λT PPαT PPαT @Xα∀ @Xα∀ 0h↓∀@ h↓∀@⊂pQ(E@⊂λ#!PαB``P)↓A  )A! ⊂*↓↓ λ*↓!λ*Ap⊂*A P⊂+↓Pλ+↓ 0λ+A λ+AK ,↓+⊂ ,↓Jp⊂A
pλ↓↓*`λα↓
PλαA*@λβA
0λ∧↓* λ¬↓*⊂⊂¬A
⊂ε↓)p⊂π↓	P(ε↓I P∧αhT ,GD1P
↓0X∧∪ `pα∪@Px↓∪@Pp↓∪`PhS`P`TPPTPHT P8↓∀ P8T@P(T@P T`P⊂↓∀`P⊂Ue αU E(↓UE α∃E α∃E ↓T`E_α∪aD("⊗C⊃X
ε@Q 'A! ('@a@ '@A@ '@!@ '@!0 'A ('!0 '!  ,↓
p +↓*P(*A
@ )A
  (A! λ(A↓ λ(↓↓0λ'A↓@λ'↓↓@λ&A↓Pλ&↓!@⊂&↓↓@_%A↓ (%¬λT 0DBQλ↓↓∧h↓A $`α↓@$`α↓@4h↓↓`50↓UTxβ 4hα↓4`↓A@4Xα↓@4Pα↓`0_R@@8↓@`∀Pα↓@@_R@@(α@@∀X↓A⊂⊂↓@ $`β↓4("_BA@
F` 0'i`_'i`_'i`_&@iP_&@iP_&@`0(&@`⊂⊂α@I@(∧I@_¬i@_¬@i@_¬@i@_¬@i@_¬A	0_¬A	0_¬A	0_¬A	0_¬@i0_¬↓	0_¬i _@!⊂%@ ⊂α@i λαAHT 1Dα!λαu↓A4p↓A Dh↓A@D`α↓`$`↓R`DXα∩@DPα∩@DX↓R`4Xαα@∀`↓B ∀h↓A@$xβQ(F εβ1Xλ↓K@_.k@_.k@_.k0_-@k0_-@j 0↓@j_α@@⊂_'a &@a _&↓↓ _&a0_%A↓0_%A↓0_%↓↓0_%↓↓0_%↓↓0_%@a0_%@a0_&a⊂ &a '@P⊂A	p0↓AHT 2D"1λ↓`dx↓A4p↓A@4h↓A`4`↓B 4`↓B 4Xαα 4Xλ∩@DPα∩@DX↓R`4X↓B`∀`↓B ∀h↓A@$xβQ(F0	∧c1Xε↓*@_↓j0⊂↓A
 _↓A
⊂_α@J⊂_(@j_(j_(i@X(ip_'@ip_'@ip_'@i`_'i`_'i`_'iP_&A	 P"Qq0ε"Hβ`5λ↓@`Pλ↓T0(↓@`∀x↓A@Dpα↓@Dpα↓@Dpα↓@Dpα↓ Dx↓A 4x↓A4p↓ dpS@∀h↓SA4pεSAdh↓α@4X↓β $X↓β 4P↓β@$P↓β@$X↓β$`B`$h↓↓`4xβQ(F@
EC1XαAJ⊂_(@j⊂_(@j⊂_(@j_(j_(j_↓AJ_@@P⊂'@`⊂λβ@ip ∧ip_∧@ip_∧@ip_∧@ip_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@iP_∧@iP ∧↓	 H↓B(T 4BA1X
A`5λ↓TEλ↓⊃`p_β∪`Dx↓S`4x↓S`4x↓S`4p↓S@4p↓S@4p↓S@4h↓S 4P∧Q(FPλβ$1Xε@jp_+↓
p⊂#Aa8*A
P_*@jP_*@jP_*@j@_*j@_*j@_*j0_)@j0_)@j0_)@i0⊂α@i  αi  ↓@i0⊂↓@i@("Q
10Fc0(β∀ 5λ↓T 5λ↓T 5λ↓T5↓T5↓T0(∧∀00α∪`08↓∪`00↓∪`0(S`0 S`0⊂↓∪`0λα∪@Pλ↓S@0_α∪@0 ↓S@0 α∪@0(↓S@0(α∪ 08↓S 00αRA⊂⊂∧⊃(F`¬Cβ1XαAJ⊂_(@j⊂_(@j⊂_(@j_(j_(j_(ip_'@ip_'@ip_'@i`_'i`_'i`_'iP_&A	 H"Q
Rλ⊃∧α_β``0β∪`@λ↓↓  _↓↓ $x↓@ ⊂8↓@ ⊂8↓S`@@αα4x↓B 0H↓S`0H↓B 4x↓B 0H↓S`0H↓B 4p↓B 0H↓S@0H↓B 4p↓B 0H↓S@0H↓B 4p↓B 0H↓S@0H↓B 4h↓B 0H↓S @@ααDP∧@a⊂_∧Q(Fp
EB↓↓A@00'A⊂⊂α@Ip_@ p_'A↓_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_&@a⊂_&A↓ %α 0H"Q
q_
Dα@β∀ (↓S@08↓S 0H↓∪0P↓S0P↓R`@P↓R`@Pα∩@@Pα∩@@Pα∩@@Pα∩@@P↓R`0Hα∩`0H↓S08↓S 0 ↓S`d("≤β↓@∧@0↓A* @@@_(↓ p_(a _(a  (a0_(a0_(a0 '@a0 '@a0 '@a0 '@a  '@a  '@a⊂ '`⊂λβ@i`_@@P_'`00'i`_'iP_&@iP_&@i H"Q∞⊃_
Fα@αA%↓A⊂_↓∪@08@ $hαα4`αα 4`↓B@4Xαα@4Xαα@4Pαα@4Pαα@4Pαα@4X↓B@4X↓B@4XααD`↓A`Dh↓A λ↓S`P_↓U`58↓U`50↓U@50↓U@5_∧Q(G⊂λ∧"↓↓A@  'A⊂λ↓ip_@   'A0 'A@⊂'@ip_'@i`_'i`_'i`_'iP_&A	 P"Q∞1λDα0β@ $p↓↓`4h↓α ∀`↓α@∀`↓α@∀`↓Sth∧SA%⊂β∃@4XB`$XB`$XB`∀P↓B $P↓ ⊂0↓∩@⊂_βQ(G ¬Cc↓@β*λ()p⊂'@)`⊂&@i@ %αiP_&i@_&i@_&i@_%@i0_%@`Pλ%@`Pλ%@`Pλ%@`@λ%@`@λ&@0λ&AλT :DBaλ`0β∪@@α∪0H↓S0H↓S0H↓S0H↓S0H↓S0H↓R`0H↓R`0H↓R`0H↓R`0H↓R`0@α∩`0@α∩`08α∪ (↓ Dhβ`d("≥B18λ∧@αAI@ ∧i@_∧@IP_∧)P_β@)P_β@)P_β)`_α@)`_α)`_↓@)`_↓@)p_@)p_@)p 'A
⊂((T ;G∧↓λ↓⊂∧`t`α↓@@8↓S0@↓α$`↓B @S 00α↓`∀h↓A@@0S 0(@ 0(↓∪ 0 ↓@ (S 0 @`0_S@0⊂A0_S@0⊂A0⊂S@0λA@ ⊂S@0λA@ λS@@8α∪`08↓S` @↓S` HQ(G@
EB↓↓B08'A` (``⊂(↓Pλ(@`@λ)` λ)`⊂λ)@j0 )A
 λ↓j⊂λ↓@jλα@ipλβ@i`⊂β@i@ βA	 8αα(T <Ebq@λ↓↓(β∀@@↓T0H↓∀ 0@T 08T 08T 00T@0(T@0 T@0_T@0_T`0λT`0λT`E_α∃% U∃_T`∀X↓A∀Pα`∀Pα@$P↓@@$Xα⊃(GP	∧b↓αβI`_β@iP⊂∧iP⊂β@iPλβ@iPλβiPλα@j _(@j (``λ'@`pλ'`pλ&@aλ&a⊂%@a⊂%βHT εβ!P
↓αE⊂αα 5⊂αα@%⊂αα`∃⊂αα`∃⊂αα`∃λαβ∃λαβ∃λαβ∃λα∀ Eλα∀Eα∀Eα∀Eα∪`Dxα∪`Dxα∪`Dxα∪@DpαRAT("#b
εB0λ.k0 -↓+ 0,@   , 0(, 0(+@ P + `(*@@`(*@! *!⊂()@!0 )@!0()!@((@!` (@!`((!p('@"⊂ 'B⊂('"0 &@"@(&"P(&εi1h%πHT ↓π∧↓P
β u ↓A@E⊂↓B@5λ↓C4xαβ@4pα∧4hα∧ 4h↓D@D`α∧@D`↓D`DXα¬4Xα`⊂`@@DPαa`_α∩@@_π`DPαa`_α∩@@_C⊂_α∩@A ↓R@A_α∩@A_↓R`1⊂α∩`Aλ↓S1↓S0x↓S 0h↓S@0Pα∀00α∀A∧("c!X
εB⊂λ-K ⊂,A⊂ ,↓+(+@ ⊂ +@ ⊂(+ 0 + 0 *@ @ *@@ * P()@@P()@ p )! )! (@!⊂ (@!⊂((!0 (!0 '@!@ '@!@ 'A@(&A↓0(%αpX"QA`∂εC  SBtpS@⊃(S@⊃(S@⊃(Q`08C ∃λC ∃λπT↓uπT⊂hT⊂hQ`@λE ∀XE ∀XE ∀XE$PRBtPQ(@(∂H#!Pαεj  ¬A*  ¬A
  ¬A
  ¬A
  ¬A
⊂ ¬A
⊂ ¬A
⊂ ¬A
⊂ ¬A
⊂ ¬A
⊂ ¬A
 ¬A
 ¬A
 ¬A
 ¬A
 ¬A
 ¬A	p ¬A	p ¬A	p ¬A	p ¬A	p ¬A	p ¬A	` ¬A	`(¬↓) `↓CλT βπD↓P
↓β∀xαC@TxαD5αD%λα∧ ∃λαD∃⊂α∧∃⊂αC`∃_αβ`∃_αUU αU U(αU@58U@∃ ↓β`∃_D∃⊂D ∃λD %D@∀xD@$h↓∧@4`D@TX∩C∀("↓cB⊂
ε@0(εA	@@∧B	0PβαI ⊂αA @ βI λ∧`@_∧) λ∧`0_∧@*@_@j@_@J@0*↓*P *↓*@ *↓
@ *↓
@ *↓
0 )A
0 )A
0 )A
  )↓)Pp"Q↓↓P∂εC @π∃`U8α∃`E8α∃↓∃λα @⊂α∪`0 α↓4p↓A @(α∪@0α↓@4`↓A`@0α∩`@8α↓@DX↓A`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓`DX↓A`@0α∩`@0α↓@4`↓A @0↓S 0 α↓4x↓@@@⊂↓T!∃ α∃E_α∀`Tpπ⊃(@H∞λC!PβCJ`(+↓
` +↓	  ∧↓p(%A` β↓)@ αA` &↓P αA	@ αAP &↓P αA	@ αAP &`P αA	0 αAP &`P αA	@_αA@ &↓@ α↓	@ α↓0 &@`0 αi`_↓↓  '@`⊂ @j⊂@)A
0 )↓
 (&CHT ¬πβqP
β↓∃_α↓`5λαα`5↓C@4x↓C`Dp↓D 4hα∧ D`α∧@D`α∧@D`α∧@D`α∧@D`α∧ D`α∧ D`α∧Dh↓D4h↓C`Dp↓C@4p↓C 4x↓β %↓α`$PA  P↓↓ ∀PA  PA@∀PA@⊂H↓↓ ∀PA@⊂HA@∀P∧α!∧P∧α↓∧P∧α↓∧("α⊃(F!((@@⊂'@@`⊂'@p_&@`p_&↓p_&a &a %A↓ %A↓ %A↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓_%a %a %a_%a_%`p_%`p_%@`P_&`0_&AHT _C"⊃HB`∃_↓S`th↓↓5_↓T@5⊂↓T@5⊂↓T@5⊂↓T 5λ↓T 5λ↓T 5λ↓T5↓T5↓T5↓S`4xα∩AT("B1(F!⊂0(@@P_'@A_'@!⊂ '↓p &A p &A p '↓p '@!⊂ ,↓ +A
p_+jP_*j0_)J⊂⊂(Aλ'@A⊂λ'! λ&@!0λ&βI0p%βhT →DBQHBe↓↓ 4xB4pα↓@4pα↓@Dpα↓@4p↓A@E8↓U@E0↓U5β∃ 50↓U@E0α∃@E0α∪ @α∩@P8α∩@P8α∩@P0α∩@@8↓R`⊂@↓S (↓S@d("
α! F!pλ,Jp_+↓
Pλ@j@(* ⊂_)@  _) 0_(@ @_( P_'@ P_'@P_' `_&@ p_&!_%@!⊂_%∧J@_*j@_*j@_)@j0 'BhT ~D"AHA@ 8↓∀↓$x¬∪a∧xS`∀xS`∀pS@∀p@@Tp↓A $pA`58↓U`58↓U`4X↓BDPααDPααDPαα4PB@DXB 4XB4`↓↓DpαQ(C0λE#⊃H¬↓* ⊂α@*_β)p_βi`_β↓	P_β↓	P_β@I@_&i0 %A (%↓⊂⊂αI  @ P_%↓ p_%↓↓_%↓↓_%↓↓_%↓p %a %a %a %a_%@@p_%@``⊂&@@_'↓(T ≠DBqP
@$`λ∪↓t`π∩` `R`⊂`R`⊂XR@⊂XU ∃ T`∃_T@∃λ↓∀5↓∪`4x↓S@Dp↓S@4hα∪ Dhα∪D`α∪ $("∞α⊃ F!⊂((@@P⊂(!⊂'@!⊂⊂'A⊂⊂'A⊂⊂&@a⊂⊂&@a⊂⊂&A `⊂'↓ @⊂'αIp8(Aip⊂AiP⊂α↓i@⊂βA)0⊂∧A	0⊂¬i ⊂εI ⊂εI ⊂εI ⊂ε)0λ¬@)0⊂∧@)@_α@I`0"Qπ⊃λ
F#⊂8β∀  ↓∪@00↓∪ 08↓S@8↓S0@↓R`@@α∩`@@α∩`@@α∩`@@α∩`@8αR`@8α∪00αS00αS 0 @ Dxα@@E0↓U E(↓R` @↓R@@0↓R@@0↓∩@00↓∩@⊂8↓∩`⊂ ↓ST("	α10∂G!@λ+*00(@@ λ↓@Ip⊂α Pλ'@Pλα@)`λβ Pλ&@@`λ↓A	P⊂β 0 &`Pλ↓A	@_α@ @⊂&`Pλ&A0λ&B	`H'B*H)Aj0λ↓↓
0λ↓@i@λβ @⊂%@`@λα@I  α P⊂%↓@λα@I λβ@ Pλ% pλαI0λβ @λ%@ Pλα)@⊂↓@  ⊂'↓J⊂λ(@(T ∪πD⊃X
CE ↓@@∃_↓A∃_↓↓ ∃⊂↓A ∃⊂↓↓@∃⊂↓↓ ∃λ↓A ∃λ↓A∃λ↓@`∃λ↓@@∃λ↓@ ⊂H∧T@0`α∀@0hT @`T⊂λ↓C∀x@`0PS@⊂ ↓B ∀h↓↓@8S0(↓A@∀X↓A@@ R@@8↓@`∀Pαα0λR@@H↓B`∀Pαα 0PR`0@αB$`↓A   ↓A $pβαd("∂aq(
F`@8&@`_%@!⊂_%a %↓p %↓p %`p *↓
0 )j⊂_(@J⊂'@Ipλ'@)`λ')`λ'(p ↓i@_%A	@⊂"QπaλFb0P↓∀`E_α∃$8αB ∃_T`∃_T@∃⊂T %↓∪`$p↓S 4`↓R`@8↓R`@8α∩@@@↓R`0@↓R`0HS0(↓S t("∧↓⊂Pλ∧00'A	p_'@ip_'@ip_'@i`_'i`_'i`_'iP_&@i H"Qα⊂xεεα@βU E(↓U 5(↓U 5(↓U 5 ↓U5 ↓U5 ↓U5_↓T`5_↓T`5_↓T`4X↓↓ 4Pα↓4Pα`4X↓`4`αQ(AH
EC1Xε↓*@⊂αj0⊂βj ⊂β@j⊂_βA
⊂_βA
⊂_βA
_βA
_β@j_βj_α@iP0↓↓
_αip_βip_β@ip_β@ip_βA	p_βA	p_βA	`_∧↓	`_∧↓	`_∧↓	`_∧↓	`_∧i`_↓@0 &@`  ↓iP_↓@@ _%↓@@ "Qβ!`∂Dα ∧↓`dh↓A 0_↓A$`α↓` λ↓↓@4`α↓`@@↓∪  @αα58↓B 58↓B 5⊂
∪@P_↓S@0↓R`@8↓R@@@↓R@@@↓R@@@αα@∀Pα↓` λ↓α ∀X↓A 0_↓A $`βBd("εcrλλ∧↓0∧↓J_α`@_αI`_∧@ ⊂βiP_∧@@⊂⊂∧I@ ∧A!_&a0_∧@i0 ¬@a⊂_%A↓0x%↓↓0_%↓↓0_%↓↓0_%@a0_%@a  &a0¬)@_β@` ⊂∧@)P_α@@P_α@Ip0∧AHT ∞¬αQ@
∧`∃`W∃XT``λT  (↓S` 8α∪@ @@ $h↓A`⊂⊂↓S  8A$`↓A@  ↓∪00A 4X↓A@⊂(↓R`0(A@4X↓A⊂8↓R`0 A`$`↓`⊂8↓S0λB$h↓B$p↓A $p@ dhS∀X↓∩`∀("π$R0
εAa8-@   ¬k0λ↓↓↓0⊂- 0 ε+ λ↓A↓@λ,@ @ ε+⊂λ↓A↓Pλ, @ ε@*p⊂α↓↓Pλ+@ P β@*`λβ↓pλ+ ` βJPλβ↓pλ*@ ` βJA * p βJ0λ∧↓`⊂)@! β@Pλ)! β@ `λ(@A β@ `λ(@!⊂ ε@*λ¬↓↓Pλ(!  εIpλ¬A↓@λ'@!  ¬@iP ∧A↓⊂(%α A "Qβb8⊗εC hU00αB`5⊂↓B @`↓∀@Pαβ ∀xαα`@hS@@`αβ ∀hαβ 0pS 0p↓B ⊂ S@p↓B ⊂ S0pαα ∀Xαβ@@@↓∩`@pα↓`4PαβaTPαβ`0@↓∩@@x↓B ∀Pαβ@@HR@@pαα ∀Pαβ@@HA∀Pαβ@0xR`@h↓C`∀Xαβ 0pS0`αβ@∀`αα`@h↓∪ @Pαβ ∀pαα@`↓T00αB@U⊂
⊃(Ax∞λβa`
@,@λ+A`Pλ*`` @* _¬↓
⊂⊂ε@ip_π↓	`_π  _&A↓Pλ↓@iP_ε@ @ &↓↓@λβi@_ε p_%A↓0λ∧i0 ¬A_%↓↓0λ∧↓	  ¬!⊂ %↓↓⊂λ¬↓	  ∧!0 %↓pλεi  β!@ %↓Pλε@i0_αA@ %@`@λε@i@_↓!P_&`⊂λε@iP_ε@i`_¬@iPλ↓`` & P@%@I ⊂"Q∧⊂@εεc0(↓S@Dpα∪@Dpα∪@4p↓S@4p↓S@$p↓∪@$h↓S $h↓∪ $h↓∪ ∀hS ∀8α 4X↓R@DX↓⊃(C`∧αc1_α@I` '↓	p⊂#A @λ')`λ&@IP⊂&@IP⊂&i@_&i@_%@i0_%@i0_%↓	  %↓	0⊂"Q∧1x⊃λc1⊂↓↓`%X↓A@5X↓↓`%P↓A@5P↓↓`%H↓A@5H↓↓`%H↓↓`%@↓A@5@↓↓`%8↓A@58↓↓`$`∞∩ce(↓↓`%(↓↓`% ↓A@5 ↓↓`% ↓↓`% ↓↓`%_↓A@5_↓↓`$P∂∩cEλ↓↓`%↓A@5↓↓`%↓↓`$x↓A@4x↓↓`$p↓A@4p↓↓`$p↓↓`$h↓A@4h↓↓`$h↓↓`$("	#2λ∂G P_λ@IP⊂↓@!p_&@P⊂εi@⊂βA⊂ %@@pλA⊂ @I _β@ Pλαi _β@!⊂_%`pλ∧i _β@ p_%@pλβ@i ⊂β@ p⊂%@pλβi ⊂β `_%@@@λβi0⊂↓@ `_&@``_+@p *@``⊂↓@*@_β@@λ)@``⊂β* _β``λ(@`p_β*⊂⊂β@`pλ(`p_β@)p_∧`pλ'a⊂_β@)P_¬``λ&a0_β)0_ε`Pλ%@aP⊂α@) _π@ 0⊂%B⊂_"Q∧p0εBc0⊂↓R`TXαS λS`∀xS@∀pS ∀`R`∀PQ(B@π∧Dqhε@*P⊂*J0⊂)J⊂⊂(J⊂'@I`_'IP_&@I@_&I@⊂%@i0_%@I0⊂%@I _%i _%i _%i _%@I0⊂%@I0⊂&)@⊂&IP⊂')`⊂'@Jλ"Q¬⊂pπ	cP8T@∃_T`% U%(U %(↓∃ %(↓U@%0↓∃@%0↓∃@%0↓∃@%(↓U 5(↓U %(↓∃5 ↓U% ↓∀`%_↓∀@%⊂↓∀ %λ↓∀$x↓∪`∀pS ∀`R@$("
B⊃0λπ!⊂⊂)@J0λ)@)@⊂α@P⊂&`0⊂↓A	`_@@⊂_'Aj⊂_'AiP_↓ ⊂ %@`0⊂↓A	 _α@@_(@J⊂λ(J⊂"Q¬1`⊂εbpx↓⊗ %H↓⊗5@↓⊗%@↓⊗%@↓∃`58↓∃`%8↓∩CDP∞∃@50↓∃@%0↓∃@%0↓∃ 5(↓∃ %(↓∃ % ↓U$("P@¬@` _%A	0 &i`λ')Pλ&@)@λ&)0λ%(T ↔↓↓_↓@ 4X↓R@DX↓⊃(BxEdqh
@K`_/KP_.@K@_.K0_-@K _,@k⊂⊂,k⊂+@jp⊂+j`⊂*@jP⊂*j@⊂)@j0⊂)j⊂_(@J_(Ip_'@I`_'IP_&@I@_&I0_%i ⊂"Qπ 8¬Dα ↓∪ 4h↓S $8∧@ 4X↓R@DX↓⊃(CX∧αc↓α@I`_'i`⊂#B  _%A	0 &i`λ')Pλ&@)@λ&)0λ%(T ≡G$Xπ@C$X∞⊃a∞∩c$("⊂βRλ
FaP8*`p_)APλ(@"λ(" λ'@ p(∧)`λβ`@λβ@)Pλβ@pλβ@)@λβa_α)@λα@a⊂_α)0λβA _α)0λα@a _α@)0λα@a _α) λα@a _α@) λα@a _α@) λα@a _α@) λα@a _α@) λα@a _α@) λβA _α)0λα@a_α@)0λβ@p α)0λβ@@@⊂↓` λ& p(αA	Pλ')pλλ@j_∧AJ0P"Q0pλ	cP8βT uλ↓∀%↓∀%↓∀%↓∪`$x↓∪`$x↓∪`$x↓∪@$p↓∪@$p↓∪@$p↓∪ $h↓∪ $h↓∪ $h↓∪$`↓∪$`↓∪$`↓∩`$X↓∩`$X↓∩`$XβR@t("↔!``∪G p8(Aj`⊂*@JP⊂*@JP⊂*@JP⊂*J@⊂*J@⊂*J@⊂)@J0⊂)@J0⊂)@J0⊂)J ⊂)J ⊂)J ⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(J⊂(J⊂(I08%↓hT 0↓A@X
A ∀pS ∀`S∀XR`∀PR@⊂λ↓∩@TXα∩`4("∧@`xβF`⊂⊂%↓	0_&i@_&@I`⊂"Qα0@
↓c0(↓∪@Dhα∪ 4`↓∩`$P↓∩@∀("¬↓!_αε⊂βI0_↓i@(&@i`λ"QαP`
Ac0B@∀PB ∀PB ∀PB$P↓↓@$P↓A$XβST("¬Aa(¬@p"QαpHAC0_α∩`⊂(↓∩@⊂8R@⊂8R@⊂8R`⊂(SD(!@?␈␈x␈@απ␈␈␈x|?␈␈x␈A 4pαT 5λα∀ 5λ↓Ra∧PQ(B¬β 0pβ@i`_%@i λ"Q`X	A#00S`4pαS  ⊂↓∪  ↓∩`⊂8↓⊃(Exαβ1X@I  %↓	0⊂"Q∂P`
AC0⊂↓A4Xα`DX↓A4X↓↓ $X↓↓ $P↓↓ $PA@∀("∨AA ↓F@0_α@)@(↓@I0λ↓A) λα@hT ?Bb@_
@  (↓∩@@_α∩@@_α∩@0(↓⊃(@X∂πc1XεA@@(*↓Pλ@`0_)@`` α↓
 _β↓ @ (@`p βJ⊂_∧j⊂_∧j_∧j_∧j_∧j_∧iA8(a_'@a_'@a_'@a_'@a_'@a_'@a_'a_'a_'a_'a_'a_'a_&@a_&@a %α@H"Q↓A0Fc0hβ∃ 0(↓∀`08↓T@08α∀ 0@α∀ 0@↓T 5↓T5↓T4`	T0@α∪`0H↓S`0H↓S`0H↓S`0H↓S`0H↓S`0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S 0H↓S 0Hα∩A⊂_∧Q(@hFβ1XεBJP_α@j0_β↓
 _βA
⊂_∧@j⊂_∧@j⊂_∧@j_∧@j_∧@j_∧@j_∧@iA_(a⊂_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_&@a⊂_&A↓ %α 0H"Q↓bλ⊃εc0hβ↓@e(↓A  λα↓ ∃_↓A`P0↓T@08αA@Eλ↓B@8α∀ 0@α↓`5λ↓B 5↓B 5↓B 5↓B 5↓B 4`∂∀0H↓A`Dx↓B 0@↓S`0H↓B4x↓B 0@↓S`0H↓B4x↓B 0@↓S`0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4h↓B 0@↓S 0H↓BDP∧@a⊂⊂∧Q(@x⊃λc1XεA`PH*@``λA@_)@`p(αA
 _βA ` (@a ∧j⊂_∧@a_(@a⊂_∧j_∧@a_(a⊂_∧j_∧@a_(a⊂_∧iAp(a⊂_∧ip_∧@a_'@a⊂_∧ip_∧@a_'@a⊂_∧ip_∧@a_'@a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧iP_∧@a_&A↓ βA	 H↓B  H"Q∧ p	αc0⊂↓A 4Xα@`TXα@`T`↓ ⊂ ↓ ∀xA`∀xA`∀pA`∀pA`∀hA`∀`A`∀XA`∀PA`∀("!@hB ⊂X%αhT .βBpX
A ⊂8S@⊂8S ⊂8S⊂8S⊂8R`⊂8R`⊂8R@⊂8R@⊂λ↓↓⊂λ↓∩@P_αR`@ α∩`0(↓Q(GX
¬@P¬λT >
%0¬¬∀(wCm⊗ 2[NFH3~,W⊂⊂⊂iU_&;bV_7Y
⊗p3\l6@2[,R*→+α:→/π wCfx7≥fλ1Y,'H:→>0w∂@¬1  PN¬≤x↓∨38↓∨38␈␈␈␈hαp␈␈␈␈0↓h{β ¬'=∧q␈0H`p∃.	w≡`⊂⊂@↓S@x↓ ∨⎇@1hαy αK`{↓β@¬U,¬$∨0αH`]r
Z↑`0∂@↓D8∀↓(m⎇@rλβ'∂αc@{αβpε⊃e¬R∨0∧H h≤<B↑`P∂@↓D8∀↓8C⎇A1Hα=+ ∧⎇P{ββ∧\:
∨0εFH8t∀0↑`p⊃@↓bP\αH~⎇Ar_βE+@¬≥0{∧↓@α.≥π$O0λC (_s∞S>a⊂
@↓λ∧α0N=B1(α⊂@∧kλ{¬αP∧ ↓	Y∂0
E @@α∪7>a0
@↓λ∧α8=Br⊂β5?`∧pH{εα0βcH	e∂0E @@α∞c↑aP∂@↓D8∀↓p∧⎇C2λβ'∂βf@{παP∧ ↓πY␈0∞I@x+4∂P≡ap∃@α∪P0↓xr⎇Crλβ'∂∧λP{λ↓@α.≥	j/0⊂C \:⊂K>b⊂
@↓λ∧αP@⎇D2_βE+@∧→h{	αP∧ ↓εo∂0∩H`p∃.⊃≡b0⊂@↓S@x↓`¬⎇Dp`↓↔∞@∧/λ{
αβ'∂λb/0∀D0N≡⊃Z>bP
@↓λ∧α_`=E2λβ'∂∧@λ{↓@α.≥	λ∂0⊗C@(U,∃/≡bpεK@tα /⎇Eq(α⊂@∧Fp{αP∧ ↓ε↓∂0_E @@α≤}c⊂
@↓λ∧↓@X=F1(α⊂@β⊂_{
αP∧ ↓ε+∂0~E @@αj}c0
@↓λ∧↓H␈=Fq(α⊂@β&8{∞αP∧ ↓εUO0≤E @@α
D>cPεK@tα b⎇G0`↓↔∞@∧Mp{∂↓@α.≥λ,o0≡H h≤<∩A}cp
↓8∩↓`p⎇Gq αr βI`{⊂∧⊂εN≡	#∂0 H`]rλ}d⊂∂↓@@JE=H1xβλr@∂({⊃∧ε>K@+O0"G XGlr}d0∞↓10f⊂∨=Hrλβ*a@)x{∩∧ε.yao0$C`0∂T↓←}dP↓P,_↑=I2λβ&J`@({∪β ¬'=↓∂O0&I`xHHα2}dp⊂↓KXd(K=Irλβ'∂bH{∀βP¬cv↓S∂0(H h≤<β;>e⊂∂@↓Hλ<8B=J1@α.≥␈H{∃βpε⊃eα/0*H`]r∧-}e0⊂↓KXdH∀=JrX∧.K↓_x{⊗∧ε.yαH/0,H`]r¬*}eP
↓&_LXα=K0`↓↔∞@∧\h{↔αP∧ ↓
X␈0.C \:∪	≡ep
@↓λ∧α80⎇Kp`↓↔∞@∧wP{_↓@α.≥	O?00E @@α¬X}f⊂↓↔λhXZ=L1_↓qd↓AX{→β∧\:β
/02D`8G⊂ε-}f0ε@Sλf`y=Lq(α⊂@↓SH{~β∧\:β3o04C \:π}fPε@Sλfp≠=M10α∨∞`↓hλ{≠↓@α.≥β\/06Ip∃.πH>fp↓↔λhxK=Mq(α⊂@↓}({≤β∧\:∧¬O08E@@|;λ#>g⊂λ@jβ↓w=N1λ↓VJ0α∩({≥αβ'∂∧,o0:FH8tλj}g0↓∂@v↓λ|=Nqxβλr@α#X{≡α`∧>≥@∧Uo0<E@@|;	<}gP	@xp ↓_'=O1(α⊂@¬0⊂{∨¬ λ@α
a?0>E @@α∪b>gp
@↓λ∧α8V=Oq(α⊂@∧|_|@αX'`{⎇xow{⎇x